Nuprl Definition : csupdate? 11,40
csupdate?(x) == chain_sys_ind(x;cmd.ff;from,cmds.tt) 
latex

Definitionschain_sys_ind(x;cmd.input(cmd);from,cmds.update(from;cmds)), ff, tt
FDL editor aliasescsupdate?

origin